Michael Thomas

Results: 946



#Item
31Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨uller Institute of Information Systems Vienna University of Technology Favoritenstrass

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨uller Institute of Information Systems Vienna University of Technology Favoritenstrass

Add to Reading List

Source URL: www.peterschueller.com

- Date: 2012-11-15 13:02:25
    32Pushing Efficient Evaluation of HEX Programs by Modular Decomposition Thomas Eiter Michael Fink Thomas Krennwallner Giovambattista Ianni

    Pushing Efficient Evaluation of HEX Programs by Modular Decomposition Thomas Eiter Michael Fink Thomas Krennwallner Giovambattista Ianni

    Add to Reading List

    Source URL: www.peterschueller.com

    - Date: 2012-11-15 13:02:25
      33Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec

      Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec

      Add to Reading List

      Source URL: www.peterschueller.com

      - Date: 2012-11-15 13:02:25
        34Towards a Policy Language for Managing Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

        Towards a Policy Language for Managing Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

        Add to Reading List

        Source URL: www.peterschueller.com

        - Date: 2012-11-15 13:02:25
          35Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems? Thomas Eiter, Michael Fink, Peter Sch¨ uller, and Antonius Weinzierl Institute of Information Systems Technische Universit¨

          Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems? Thomas Eiter, Michael Fink, Peter Sch¨ uller, and Antonius Weinzierl Institute of Information Systems Technische Universit¨

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2009-12-04 12:29:23
            36Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

            Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

            Add to Reading List

            Source URL: www.isf.cs.tu-bs.de

            - Date: 2016-08-15 09:53:47
              37Scientific Collaboration and Collective Knowledge Editors: Thomas Boyer-Kassem, Conor Mayo-Wilson and Michael Weisberg. Forthcoming at Oxford University Press. Book Summary In 2001, nearly three thousand scientists coaut

              Scientific Collaboration and Collective Knowledge Editors: Thomas Boyer-Kassem, Conor Mayo-Wilson and Michael Weisberg. Forthcoming at Oxford University Press. Book Summary In 2001, nearly three thousand scientists coaut

              Add to Reading List

              Source URL: thomasboyerkassem.yolasite.com

              - Date: 2015-03-06 07:56:04
                38Describing Appliance User Interfaces Abstractly with XML Jeffrey Nichols*, Brad A. Myers*, Kevin Litwack*, Michael Higgins†, Joseph Hughes†, Thomas K. Harris* School of Computer Science Carnegie Mellon University Pit

                Describing Appliance User Interfaces Abstractly with XML Jeffrey Nichols*, Brad A. Myers*, Kevin Litwack*, Michael Higgins†, Joseph Hughes†, Thomas K. Harris* School of Computer Science Carnegie Mellon University Pit

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2004-03-24 09:37:18
                  39Finding Explanations of Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

                  Finding Explanations of Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

                  Add to Reading List

                  Source URL: www.peterschueller.com

                  - Date: 2012-11-15 13:02:25
                    40Towards a Policy Language for Managing Inconsistency in Multi-Context Systems? Thomas Eiter1 , Michael Fink1 , Giovambattista Ianni2 , and Peter Sch¨uller1 1 2

                    Towards a Policy Language for Managing Inconsistency in Multi-Context Systems? Thomas Eiter1 , Michael Fink1 , Giovambattista Ianni2 , and Peter Sch¨uller1 1 2

                    Add to Reading List

                    Source URL: www.peterschueller.com

                    - Date: 2012-11-15 13:02:25